منابع مشابه
Strength Reduction via SSAPRE
We present techniques that allow strength reduction to be performed concurrently with partial redundancy elimination in the SSAPRE framework. By sharing the characteristics inherent to SSAPRE, the resulting strength reduction algorithm exhibits many interesting attributes. We compare various aspects of the new strength reduction algorithm with previous strength reduction algorithms. We also out...
متن کاملPrincipled strength reduction
This paper presents a principled approach for optimizing iterative (or recur-sive) programs. The approach formulates a loop body as a function f and a change operation , incrementalizes f with respect to , and adopts an incrementalized loop body to form a new loop that is more eecient. Three general optimizations are performed as part of the adoption; they systematically handle initializations,...
متن کاملLanguage Strength Reduction
This paper concerns methods to check for atomic-set serializability violations in concurrent Java programs. The straightforward way to encode a reentrant lock is to model it with a context-free language to track the number of successive lock acquisitions. We present a construction that replaces the context-free language that describes a reentrant lock by a regular language that describes a non-...
متن کاملLazy Strength Reduction
We present a bit-vector algorithm that uniformly combines code motion and strength reduction, avoids superruous register pressure due to unnecessary code motion, and is as eecient as standard unidirectional analyses. The point of this algorithm is to combine the concept of lazy code motion of 1] with the concept of unifying code motion and strength reduction of 2, 3, 4]. This results in an algo...
متن کاملDimensional Reduction of Dirac Operator
We elaborate an explicit example of dimensional reduction of the free massless Dirac operator with SU(3)-symmetry, defined on 12-dimensional manifold, which is the total space of principle SU(3)-bundle over 4-dimensional manifold. It turns out that after the dimensional reduction we obtain the “usual” Dirac operator, defined on 4-dimensional pseudo-Riemannian (non-flat) manifold but with mass t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Programming Languages and Systems
سال: 2001
ISSN: 0164-0925,1558-4593
DOI: 10.1145/504709.504710